Instance Verification Kit (IVK)
mutex lock @ [9630+36+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
Instance Signature: fifo_mutex
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__vmw_execbuf_release_pinned_bo
[77734+31+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c]
do_dmabuf_dirty_ldu
[20534+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_kms.c]
vmw_3d_resource_dec
[15043+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_drv.c]
vmw_3d_resource_inc
[14151+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_drv.c]
vmw_context_init
[5841+16+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_context_scrub_render_target
[15577+31+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_context_scrub_shader
[14731+24+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_context_scrub_texture
[16643+25+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_cursor_update_image
[2670+23+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_kms.c]
vmw_execbuf_fence_commands
[67529+26+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c]
vmw_execbuf_process
[70567+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c]
vmw_execbuf_release_pinned_bo
[80116+29+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c]
vmw_fb_dirty_flush
[5367+18+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fb.c]
vmw_fence_single_bo
[38189+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_resource.c]
vmw_fifo_commit
[12548+15+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_emit_dummy_gb_query
[16490+28+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_emit_dummy_legacy_query
[15221+32+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_emit_dummy_query
[18093+25+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_init
[2966+13+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_reserve
[9326+16+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_fifo_send_fence
[13827+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_fifo.c]
vmw_gb_context_bind
[8277+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_gb_context_create
[7331+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_gb_context_destroy
[10696+22+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_gb_context_unbind
[9047+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_gb_shader_bind
[4919+18+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_shader.c]
vmw_gb_shader_create
[3854+20+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_shader.c]
vmw_gb_shader_destroy
[6660+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_shader.c]
vmw_gb_shader_unbind
[5669+20+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_shader.c]
vmw_gb_surface_bind
[30144+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_gb_surface_create
[28659+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_gb_surface_destroy
[32890+22+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_gb_surface_unbind
[31228+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_gmr2_bind
[1681+13+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_gmr.c]
vmw_gmr2_unbind
[3452+15+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_gmr.c]
vmw_hw_context_destroy
[3806+22+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_context.c]
vmw_hw_surface_destroy
[9448+22+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_legacy_srf_create
[10747+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_legacy_srf_destroy
[15121+22+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_legacy_srf_dma
[12652+18+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_surface.c]
vmw_mob_bind
[16591+12+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]
vmw_mob_unbind
[15223+14+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]
vmw_otables_setup
[6978+17+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]
vmw_otables_takedown
[9266+20+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]
vmw_overlay_send_put
[2815+20+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c]
vmw_overlay_send_stop
[5418+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c]
vmw_query_bo_switch_commit
[23396+26+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c]
vmw_release_device
[13530+18+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_drv.c]
vmw_request_device
[12800+18+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_drv.c]
vmw_setup_otable_base
[3328+21+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]
vmw_sou_fifo_create
[3086+19+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c]
vmw_sou_fifo_destroy
[4426+20+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c]
vmw_takedown_otable_base
[5521+24+/linux-3.17-rc1/drivers/gpu/drm/vmwgfx/vmwgfx_mob.c]